Description: Add a direntry, dircategory
Author: Ryan Kavanagh <rak@debian.org>
Origin: vendor
Forwarded: no
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: vera/vera.texi
===================================================================
--- vera.orig/vera.texi	2021-01-05 13:32:01.209209794 -0500
+++ vera/vera.texi	2021-01-05 13:32:01.209209794 -0500
@@ -22,15 +22,12 @@
 @set AUTHOREMAIL < ohei [at] snafu . de >
 @c End of variables
 
-@ignore
 @ifinfo
-@format
-START-INFO-DIR-ENTRY
+@dircategory Dictionaries
+@direntry
 * V.E.R.A.:  (vera).        Virtual Entity of Relevant Acronyms
-END-INFO-DIR-ENTRY
-@end format
+@end direntry
 @end ifinfo
-@end ignore
 
 @ifinfo
 This is a special GNU edition of V.E.R.A.,
